Log-Powered Test Scenario Generation for Distributed Systems

نویسندگان

  • Ivan Beschastnikh
  • Yuriy Brun
  • Michael D. Ernst
  • Arvind Krishnamurthy
  • Thomas E. Anderson
چکیده

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Bandsaw: Log-Powered Test Scenario Generation for Distributed Systems

Software testing is a widely used technique to eliminate defects and improve software quality. Testing is especially useful in the context of large distributed systems, which are notoriously difficult to reason about formally and remain out of reach for many existing analysis tools. A key problem in formulating a test case is identifying scenarios that can be (1) induced by a valid execution of...

متن کامل

A Heuristic Approach to Distributed Generation Source Allocation for Electrical Power Distribution Systems

The recent trends in electrical power distribution system operation and management are aimed at improving system conditions in order to render good service to the customer. The reforms in distribution sector have given major scope for employment of distributed generation (DG) resources which will boost the system performance. This paper proposes a heuristic technique for allocation of distribut...

متن کامل

Optimal placement and sizing of distributed generation considering FACTS devices and load uncertainty using hybrid sine-cosine algorithm and particle swarm optimization (HSCA-PSO)

Using Distributed Generation (DG) in electrical distribution networks brings many advantages and thus, optimal placement and sizing of these units become important. Most of the researches in this field neglect the effect of transmission system on distribution section. These researches also ignore the effect of Flexible Alternating Current Transmission Systems (FACTS). This thesis proposes a new...

متن کامل

A Stochastic Operational Planning Model for Smart Power Systems

Smart Grids are result of utilizing novel technologies such as distributed energy resources, and communication technologies in power system to compensate some of its defects. Various power resources provide some benefits for operation domain however, power system operator should use a powerful methodology to manage them. Renewable resources and load add uncertainty to the problem. So, independe...

متن کامل

Multi Objective Allocation of Distributed Generations and Capacitor Banks in Simultaneous

This paper has developed a novel multiobjective function for optimal sizing and sitting ofDistributed Generation (DG) units and capacitor banks in simultaneous mode to improve reliabilityand reduce energy losses. The proposed function consists of four objectives: Cost of Energy NotSupplied (CENS), System Average Interruption Duration Index (SAIDI), costs of energy loss andinvestment. A novel st...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2011